perm filename GRP[1,JRA] blob sn#005871 filedate 1972-10-20 generic text, type T, neo UTF8
00100	G1: X*X =Y*Y;
00200	G2:X*(Y*Y)=X;
00300	G3:(X*Z)*(Y*Z)=X*Y;
00700	DF: X*(1*Y)=X⊗Y;
00750	DF1: X*X =1;
00800	;